<html>
<body>
Renames a file to the name of the class it contains.
</body>
</html>